Constructing Speciications and Modules in a Kz-doctrine
نویسنده
چکیده
Using the structure of a KZ-monad we create a general categorical workspace in which diagrams can be formally constructed. In particular this abstract framework of category theory is shown to provide a precise semantics for constructing the speciications of complex systems from their component parts.
منابع مشابه
Constructing Specifications and Modules in a KZ-doctrine
Using the structure of a KZ-monad we create a general categorical workspace in which diagrams can be formally constructed. In particular this abstract framework of category theory is shown to provide a precise semantics for constructing the speciications of complex systems from their component parts.
متن کامل‘Hausdorff distance’ via conical cocompletion
In the context of quantaloid-enriched categories, we explain how each saturated class of weights defines, and is defined by, an essentially unique full sub-KZ-doctrine of the free cocompletion KZ-doctrine. The KZ-doctrines which arise as full sub-KZ-doctrines of the free cocompletion, are characterised by two simple “fully faithfulness” conditions. Conical weights form a saturated class, and th...
متن کاملDoctrines Whose Structure Forms a Fully Faithful
We pursue the definition of a KZ-doctrine in terms of a fully faithful adjoint string Dd ⊣ m ⊣ dD. We give the definition in any Gray-category. The concept of algebra is given as an adjunction with invertible counit. We show that these doctrines are instances of more general pseudomonads. The algebras for a pseudomonad are defined in more familiar terms and shown to be the same as the ones defi...
متن کاملDoctrines Whose Structure Forms a Fully Faithful Adjoint String
We pursue the definition of a KZ-doctrine in terms of a fully faithful adjoint string Dd m dD. We give the definition in any Gray-category. The concept of algebra is given as an adjunction with invertible counit. We show that these doctrines are instances of more general pseudomonads. The algebras for a pseudomonad are defined in more familiar terms and shown to be the same as the ones defined ...
متن کاملOn principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
Ordered sheaves on a small quantaloid Q have been defined in terms of Qenriched categorical structures; they form a locally ordered category Ord(Q). The free-cocompletion KZ-doctrine on Ord(Q) has Mod(Q), the quantaloid of Q-modules, as category of Eilenberg-Moore algebras. In this paper we give an intrinsic description of the Kleisli algebras: we call them the locally principally generated Q-m...
متن کامل